Logic Programming with Graded Introspection
نویسندگان
چکیده
منابع مشابه
Autoepistemic Logics of Closed Beliefs and Logic Programming
Moore's autoepistemic logic AEL proved to be a very successful approach to formalizing non-monotonic reasoning and logic programming. However, AEL also has some important drawbacks, e.g., quite \reasonable" theories are often inconsistent in AEL, it does not always lead to the expected, intended semantics and it cannot be eeectively computed even for very simple classes of theories. In this pap...
متن کاملDisjunctive Logic Programming and Possible Model Semantics
We use Kripke structures of autoepistemic logic to classify various semantics for disjunctive logic programs with default negation. We have observed that nonmonotonic reasoning can be characterized by Kripke structures whose beliefs are justiied. We also observed that two diierent types of negative introspection in autoepistemic reasoning present two diierent interpretations of default negation...
متن کاملReasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity
We study the computational properties of the propositional fragment of MBNF , the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including default logic, autoepistemic logic, circumscription, epistemic queries and logic programming. We characterize the complexity and provide algorithms...
متن کاملDisjunctive Logic Programming and Autoepistemic Logic
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different types of negative introspection in autoepistemic reasoning present two different interpretations of default negation: consistency-based and minimal-model-based. We also observed that all logic program semantics fall into ...
متن کاملReasoning about Minimal Belief and Negation as Failure
We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including default logic, autoepistemic logic, circumscription, epistemic queries, and logic programming. We characterize the complexity and provide algorith...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fundam. Inform.
دوره 147 شماره
صفحات -
تاریخ انتشار 2016